🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

A safer C++ pointer class
techblog.rosemanlabs.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1h
🎯Performance Proofs
40x Faster! We rewrote our project with Rust!
betterprogramming.pub·4d
🦀Rust Borrowing
Mojo Roadmap Document
docs.modular.com·6h·
Discuss: Hacker News
💻Programming languages
Chicken Scheme internals: the garbage collector
more-magic.net·1h·
Discuss: Hacker News
🧠Separation Logic
C++ or Rust: Differences Explained
harshal.is-cool.dev·2d·
Discuss: Hacker News
🔩Systems Programming
PgDog adds support for Rust plugins
pgdog.dev·30m·
Discuss: Hacker News
🦀Rust Borrowing
Why I Ditched Malloc for AI Inference
gilli.dev·20h·
Discuss: Hacker News
🧠Memory Allocators
GHC 9.14.1-Alpha1
blog.haskell.org·2h·
Discuss: Hacker News
🔗Functional Compilers
A Review of Nim 2: The Good and Bad with Example Code
miguel-martin.com·17h·
Discuss: Hacker News
🦀Rust Macros
Trying to get error backtraces in rust libraries right
iroh.computer·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Linear Types
Stable, Mutable References for Ante
antelang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·23h
🔧Binary Parsers
Sets & Heaps in Haskell and Rust
mmhaskell.com·4d
👑Dependent Haskell
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·3d
🦀Rust Macros
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·2d
🦀Embedded Rust
Writing a Hypervisor in 1,000 Lines
seiya.me·16h
🦀Embedded Rust
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·4d·
Discuss: DEV
🧪Binary Fuzzing
Notes on Programming in C by Rob Pike
lysator.liu.se·15h·
Discuss: Hacker News
🦀Rust Macros
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·1d
🎯NTLM Attacks